\section{Formule Struct Reference}
\label{structFormule}\index{Formule@{Formule}}
{\tt \#include $<$structure.h$>$}

Collaboration diagram for Formule:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=113pt]{structFormule__coll__graph}
\end{center}
\end{figure}
\subsection*{Data Fields}
\begin{CompactItemize}
\item 
int {\bf taille}
\item 
int {\bf nb\-Litteraux}
\item 
int {\bf nb\-Clauses}
\item 
{\bf Clause} $\ast$$\ast$ {\bf clauses}
\item 
{\bf Liste\-Litteraux} $\ast$ {\bf litteraux}
\end{CompactItemize}


\subsection{Detailed Description}




Definition at line 86 of file structure.h.

\subsection{Field Documentation}
\index{Formule@{Formule}!taille@{taille}}
\index{taille@{taille}!Formule@{Formule}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int {\bf Formule::taille}}\label{structFormule_2f50c2d323d77788b622afbcdfbdc2d5}




Definition at line 88 of file structure.h.

Referenced by affecte\-Litteral(), charger\-Formule(), creer\-Formule(), est\-Termine(), free\-Formule(), get\-String(), and libere\-Variable().\index{Formule@{Formule}!nbLitteraux@{nbLitteraux}}
\index{nbLitteraux@{nbLitteraux}!Formule@{Formule}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int {\bf Formule::nb\-Litteraux}}\label{structFormule_90d4c027cda99c7e4039b953850c32c0}




Definition at line 89 of file structure.h.

Referenced by affecte\-Litteraux\-Purs(), charger\-Formule(), creer\-Formule(), and heuristique\-Litteral().\index{Formule@{Formule}!nbClauses@{nbClauses}}
\index{nbClauses@{nbClauses}!Formule@{Formule}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}int {\bf Formule::nb\-Clauses}}\label{structFormule_5138fe63059b06a6aade9c229060fce2}




Definition at line 90 of file structure.h.

Referenced by affecte\-Litteral(), affecte\-Mono\-Litteraux(), afficher\-Formule(), charger\-Formule(), and creer\-Formule().\index{Formule@{Formule}!clauses@{clauses}}
\index{clauses@{clauses}!Formule@{Formule}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Clause}$\ast$$\ast$ {\bf Formule::clauses}}\label{structFormule_51b866f588327c648908c7b065a16ea6}




Definition at line 91 of file structure.h.

Referenced by affecte\-Litteral(), affecte\-Mono\-Litteraux(), afficher\-Formule(), charger\-Formule(), creer\-Formule(), and free\-Formule().\index{Formule@{Formule}!litteraux@{litteraux}}
\index{litteraux@{litteraux}!Formule@{Formule}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Liste\-Litteraux}$\ast$ {\bf Formule::litteraux}}\label{structFormule_a68cd25671b951226058b7517a6fe3c9}




Definition at line 92 of file structure.h.

Referenced by affecte\-Litteral(), affecte\-Litteraux\-Purs(), affecte\-Mono\-Litteraux(), afficher\-Clause(), charger\-Formule(), creer\-Formule(), free\-Formule(), heuristique\-Litteral(), and libere\-Variable().

The documentation for this struct was generated from the following file:\begin{CompactItemize}
\item 
/home/jeanlouis/Faculte/Master SIS/S2/Intelligence Artificielle/dpcsolver/{\bf structure.h}\end{CompactItemize}
